Synthesis of Real-Time Implementation from UML-RT Models

ROOM (Real-Time Object-Oriented Modeling) is an architecture description language widely used in the telecommunications industry to develop embedded software. The concepts of ROOM have been incorporated into the CASE tool Rational Rose Real-Time (RoseRT) in the form of a UML profile, commonly called UML-RT. However, UMLRT itself does not provide any support for performing realtime scheduling analysis and generating an implementation that meets timing constraints. It is the job of the engineer to map the software functional model to RTOS threads and choose a scheduling discipline to satisfy timing constraints. In this paper, we summarize existing approaches for implementation synthesis of UML-RT models, and describe realtime schedulability analysis technique for the native implementation model of the RoseRT CASE tool.